Expression Problem

Philip Wadlerが作った言葉らしい

静的型付き言語で、再コンパイルなしで、新しいデータ型を追加したり、新しい関数を追加できるようにするにはどうしたらよいか、という問題

出典

The Expression Problem is a new name for an old problem. The goal is to define a datatype by cases, where one can add new cases to the datatype and new functions over the datatype, without recompiling existing code, and while retaining static type safety (e.g., no casts). ref

関数型とOOPの対比で言及されることが多い

関数型の短所、OOPの長所として言及される

基本のデータ型とそれに対する関数などが定義されている状態で、後にそのデータ型に機能を追加したいとなったとき

関数型の場合は、データ型に1つ追加するだけで、広い範囲に手を加える必要があるので、全体を再コンパイルしないといけない

OOPの場合は、一つのclassに収まっているので、propertyを追加すること自体はかんたん

一方でmethodを追加することは大変

振る舞い駆動だからねmrsekut.icon

解答

型クラスが1つの解決策になる

Data Types a la Carte

Tagless final

Polymorphic Variant